postulate
  A : →.B
